the members of the subject which fall into the wider category of things to which the predicate refers. So Type I propositions always have undistributed subjects and undistributed predicates. The most they can claim is that “Some horses are some of the white things in the world.” There are other white things, like pelicans and polar bears, and other horses are not white. Type O—Some S is not P. You should be catching on now. This is a particular statement, so the subject must be undistributed. Right?